Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
661	CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 08:45:52 Software development Java Pathfinder Software Logic in computer science Model checking Software verification Runtime verification Static program analysis Verification and validation Formal methods Software testing Theoretical computer science
662	Bor-Yuh Evan Chang http://www.cs.colorado.edu/∼bec/ + (phone) + (fax) Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2015-02-01 19:26:08 Principles of Programming Languages Formal methods Programming Language Design and Implementation Computing Formal verification Model checking SIGPLAN Program analysis Association for Computing Machinery Computer science George Necula
663	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science
664	PDF Document Add to Reading List Source URL: all.net Language: English - Date: 2010-05-24 14:08:04 Computability theory Formal methods Models of computation Computer security Intent Military science Operating system Computer Email Computing Electronics Technology
665	PDF Document Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:54:43 Science Technology Rational Tau Telelogic Nokia Software development process Communications protocol Formal specification Model-based testing Formal methods Software development Unified Modeling Language
666	PDF Document Add to Reading List Source URL: statistics.cos.ucf.edu Language: English - Date: 2013-03-07 14:33:14 Formal methods Video game development Application programming interfaces OpenGL Software engineering Software development VBS2 Software Computing Software project management
667	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-26 02:32:41 Hardware description languages Synchronous programming languages Formal methods Technology Science Systems engineering Lustre Esterel Technologies Software development Safety
668	PDF Document Add to Reading List Source URL: www.solomon-systech.com Language: English - Date: 2015-01-29 21:36:37 Electronics Science Integrated circuits Electronic design Electromagnetism Formal methods Post-silicon validation Software development process
669	PDF Document Add to Reading List Source URL: flux.cs.queensu.ca Language: English - Date: 2014-10-30 17:26:17 Software engineering Computing Theoretical computer science Formal methods UML diagrams Model checking Finite-state machine ALGOL 68 UML state machine Models of computation Automata theory Digital electronics
670	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-26 02:32:35 Synchronous programming languages Formal methods Technology Software Lustre Cockpit display system Esterel Technologies Software development Hardware description languages

UPDATE